$\forall$${\it the\_es}$:ES, ${\it e'}$, $e$:E, $l$:IdLnk. ($e$ $\in$ rcvs($l$;before(${\it e'}$))) $\Leftarrow\!\Rightarrow$ (($e$ $<$loc ${\it e'}$) \& ($\uparrow$haslnk($l$;$e$)))